ignore (f(x).P1.P2)
